#include <stdio.h>
#include <stdlib.h>
#include <tf_mm_alloc.h>
#include <tf_xm.h>
#include <tf_mm_cons.h>

int main(int argc, char ** argv) {
	tf_mem_set_size(4096);
	tf_init();
	tf_xm_start(argc-1, &argv[1]);
}

